María Alpuente: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (17)
가장 인기 있는
목록
- 목록
- 표

1

Programación lógica. teoría y práctica

Programación lógica. teoría y práctica

María Alpuente Fresnedo, Pascual Julian Iranzo

년:

2007

언어:

spanish

파일:

PDF, 2.11 MB

0 / 0

spanish, 2007

2

Programación lógica. Teoría y Práctica

Programación lógica. Teoría y Práctica

María Alpuente Frasnedo, Pascual Julián Iranzo

년:

2007

언어:

spanish

파일:

PDF, 55.92 MB

0 / 0

spanish, 2007

3

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)

년:

2008

언어:

english

파일:

PDF, 4.41 MB

0 / 0

english, 2008

4

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)

년:

2003

언어:

english

파일:

PDF, 1.86 MB

0 / 0

english, 2003

5

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)

년:

2011

언어:

english

파일:

PDF, 4.01 MB

0 / 0

english, 2011

6

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)

년:

2011

언어:

english

파일:

PDF, 4.67 MB

0 / 0

english, 2011

7

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

년:

2009

언어:

english

파일:

PDF, 7.78 MB

0 / 0

english, 2009

8

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

년:

2009

언어:

english

파일:

PDF, 9.38 MB

0 / 0

english, 2009

9

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)

년:

2008

언어:

english

파일:

PDF, 8.19 MB

0 / 0

english, 2008

10

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

년:

2009

언어:

english

파일:

PDF, 10.43 MB

0 / 5.0

english, 2009

11

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

María Alpuente, Byron Cook, Christophe Joubert

년:

2009

언어:

english

파일:

PDF, 9.47 MB

0 / 0

english, 2009

12

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)

년:

2011

언어:

english

파일:

PDF, 3.88 MB

0 / 0

english, 2011

13

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

년:

2009

언어:

english

파일:

PDF, 7.71 MB

0 / 0

english, 2009

14

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

년:

2008

언어:

english

파일:

PDF, 4.64 MB

0 / 0

english, 2008

15

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)

년:

2003

언어:

english

파일:

PDF, 4.13 MB

0 / 0

english, 2003

16

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

년:

2008

언어:

english

파일:

PDF, 8.38 MB

0 / 0

english, 2008

17

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)

년:

2011

언어:

english

파일:

PDF, 4.51 MB

0 / 5.0

english, 2011